$\forall$$A$, $B$:(Id$\rightarrow$msga\{i:l\}). m{-}sys{-}compatible\{i:l\}($A$; $B$) $\in$ $\mathbb{P}$\{i'\}